class TestBase
feature
    test1() 
    do
    end
    
    test2 : INTEGER
end

class TestDerived
inherit TestBase
    rename test1 as baseTest1,
           test2 as baseTest2
feature
    test1(a : INTEGER)
    do
    end
    test2 : REAL
    
    foo() : TestBase
    local
        a : TestBase
    do 
        Result:=a
    end
end

class APP
feature 
    INIT    
    local
        a : TestDerived
    do
        a.foo().test2:=5
        a.test1(10)
        a.test2:=5.0
        a.baseTest1()
        a.baseTest2:=5
    end
end

